Logic from computer. (1992). Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989. Springer-Verlag.
Trích dẫn kiểu ChicagoLogic from computer. Logic from Computer Science: Proceedings of a Workshop Held Nov. 13-17, 1989. New York: Springer-Verlag, 1992.
Trích dẫn MLALogic from computer. Logic from Computer Science: Proceedings of a Workshop Held Nov. 13-17, 1989. Springer-Verlag, 1992.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.