First-order Theorem Proving---FTP'98: Proceedings of 2nd International Workshop. Caferra, R. & Salzer, G. Technical Report E1852-GS-981, Technische Universität Wien, Vienna, Austria, 1998.
bibtex   
@techreport{ CaferraSalzer98,
  author = {Caferra, R. and Salzer, G.},
  year = {1998},
  title = {First-order Theorem Proving---{FTP'98}: {Proceedings of 2nd International Workshop}},
  number = {E1852-GS-981},
  institution = {Technische Universität Wien},
  address = {Vienna, Austria}
}
Downloads: 0