[n] J. Claus and H. Foelsche, “Extraction for ISABELLE”, in Proc. PAC'81, Washington D.C., USA, Mar. 1981, pp. 3065-3068.
%\cite{Claus:PAC81} \bibitem{Claus:PAC81} J. Claus and H. Foelsche, \textquotedblleft{Extraction for ISABELLE}\textquotedblright, in \emph{Proc. PAC’81}, Washington D.C., USA, Mar. 1981, pp. 3065--3068.
@inproceedings{claus:pac81, author = {J. Claus and H. Foelsche}, title = {{Extraction for ISABELLE}}, booktitle = {Proc. PAC'81}, pages = {3065--3068}, paper = {}, venue = {Washington D.C., USA, Mar. 1981}, publisher = {JACoW Publishing, Geneva, Switzerland}, language = {english} }