Reasoning about Termination of Pure Prolog Programs (1993)
by
Krzysztof R. Apt
,
Dino Pedreschi
| Venue: | Information and Computation |
| Citations: | 117 - 14 self |
Document Versions
| Reasoning about Termination of Pure Prolog Programs –Krzysztof R. Apt, Dino Pedreschi — 1993 — Information and Computation |
