APA (7th ed.) Citation

Pletat, U. (1988). Integrating model theoretic and proof theoretic interpretation of logic programs. IBM Deutschland, WT LILOG.

Chicago Style (17th ed.) Citation

Pletat, Udo. Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. Stuttgart: IBM Deutschland, WT LILOG, 1988.

MLA (9th ed.) Citation

Pletat, Udo. Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. IBM Deutschland, WT LILOG, 1988.

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