return docstring();
// FIXME We shuld do a better job outputing different things for the
// different citation styles. For now, we use square brackets for every
// case.
return docstring();
// FIXME We shuld do a better job outputing different things for the
// different citation styles. For now, we use square brackets for every
// case.