LPAR, Saint Petersburg, Russia, & Voronkov, A. (1992). Logic programming and automated reasoning: International conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationLPAR, Saint Petersburg, Russia, and A. Voronkov. Logic Programming and Automated Reasoning: International Conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings. Berlin ; New York: Springer-Verlag, 1992.
MLA (8th ed.) CitationLPAR, Saint Petersburg, Russia, and A. Voronkov. Logic Programming and Automated Reasoning: International Conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : Proceedings. Springer-Verlag, 1992.
Warning: These citations may not always be 100% accurate.