Mukai, K. (1990). Coinductive semantics of Horn Clauses with compact constraint.
Chicago-Zitierstil (17. Ausg.)Mukai, Kuniaki. Coinductive Semantics of Horn Clauses with Compact Constraint. Tokyo, Japan, 1990.
MLA-Zitierstil (9. Ausg.)Mukai, Kuniaki. Coinductive Semantics of Horn Clauses with Compact Constraint. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.