JaCoW Logo

Reference Search

Favourites


For Word

[n]	J. Claus and H. Foelsche, “Extraction for ISABELLE”, in Proc. PAC'81, Washington D.C., USA, Mar. 1981, pp. 3065-3068. 

For LaTeX

Use Complete Form

For BibTeX

References

Back to search