APA (7th ed.) Citation

LPAR Kiev, Ukraine, & Pfenning, F. (1994). Logic programming and automated reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

LPAR Kiev, Ukraine, and Frank Pfenning. Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.

MLA (8th ed.) Citation

LPAR Kiev, Ukraine, and Frank Pfenning. Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : Proceedings. Springer-Verlag, 1994.

Warning: These citations may not always be 100% accurate.