Guarded Horn Clauses
収録刊行物
-
- Concurrent Prolog Collected Parers
-
Concurrent Prolog Collected Parers 1 140-156, 1987
MIT Press
Concurrent Prolog Collected Parers 1 140-156, 1987
MIT Press