LFCS (Symposium) I︠A︡roslavlʹ, I︠A︡roslavskai︠a︡ oblastʹ, Russia), SpringerLink (Online service), Adi︠a︡n, S. I., & Nerode, A. (1997). Logical foundations of computer science: 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings. Springer.
Chicago Style (17th ed.) CitationLFCS (Symposium) I︠A︡roslavlʹ, I︠A︡roslavskai︠a︡ oblastʹ, Russia), SpringerLink (Online service), S. I. Adi︠a︡n, and Anil Nerode. Logical Foundations of Computer Science: 4th International Symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : Proceedings. Berlin ; New York: Springer, 1997.
MLA (9th ed.) CitationLFCS (Symposium) I︠A︡roslavlʹ, I︠A︡roslavskai︠a︡ oblastʹ, Russia), et al. Logical Foundations of Computer Science: 4th International Symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : Proceedings. Springer, 1997.