CITATION STYLE
Stickel, M. E. (1990). 10th international conference on automated deduction: Kaiserslautern, FRG, July 24-27, 1990 Proceedings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 449 LNAI). Springer Verlag.
Mendeley helps you to discover research relevant for your work.