Translated title of the contribution | Logic program specialisation with deletion of useless clauses |
---|---|
Original language | English |
Title of host publication | Unknown |
Pages | 632 - 632 |
Number of pages | 1 |
Publication status | Published - 1993 |
Bibliographical note
Conference Proceedings/Title of Journal: 1993 Int. Symp. on Logic ProgrammingOther: Publisher, The MIT Press. Poster Abstract. Vancouver