A Proof Method for Runtime Properties of Prolog Programs
| Title | A Proof Method for Runtime Properties of Prolog Programs |
| Publication Type | Conference Paper |
| Year of Publication | 1994 |
| Authors | Pedreschi, D |
| Conference Name | ICLP |
| Title | A Proof Method for Runtime Properties of Prolog Programs |
| Publication Type | Conference Paper |
| Year of Publication | 1994 |
| Authors | Pedreschi, D |
| Conference Name | ICLP |