def fetch_bibtex(
    iscode iscode,
    refid refid
)

def extract_bibtex(
    html html
)

def get_bibtex_from_repo(
    iscode iscode,
    refid refid
)

def get_bibtexs_from_repos(
    iscodes_refids iscodes_refids
)

string usage =  """%prog <spiresid> [<spiresid2> ...]

Given Inspire and SPIRES paper IDs, fetch the corresponding BibTeX db entry from
the SPIRES Web interface and write it to stdout. Prefix the code with I or S
appropriately.
""";

parser =  OptionParser(usage=usage);

opts;

args;

iscode =  arg[0];

refid =  arg[1:];

key;

bibtex;

f =  sys.stdout;