Content
A Decision Procedure for Propositional N-PROLOG
CIS-Bericht-90-4, in P. Schroeder-Heister (Hrsg.) Extensions of Logic Programming, Springer Verlag.
| Authors/Editors: |
Jörg Hudelmaier |
|---|---|
| Publication Date: | 1990 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |