Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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