机构:
Institut für Computersprachen, Technische Universität Wien, Argentinierstraße 8, A-1040 Wien, AustriaInstitut für Computersprachen, Technische Universität Wien, Argentinierstraße 8, A-1040 Wien, Austria
Krall, Andreas
Journal of Logic Programming,
29
(1-3):
: 85
-
106