Original language | English |
---|---|
Title of host publication | Logic Program Synthesis and Transformation. Proceedings |
Editors | M. Proietti |
Publisher | Springer Verlag |
Publication date | 1996 |
Pages | 234-251 |
DOIs | |
Publication status | Published - 1996 |
Series | Lecture notes in computer science |
---|---|
Volume | 1048 |
ISSN | 0302-9743 |