Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
Controlling Conjunctive Partial Deduction
PPDP, 1996.
@inproceedings{PLILP-1996-GluckJMS,
author = "Robert Glück and Jesper Jørgensen and Bern Martens and Morten Heine Sørensen",
booktitle = "{Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs}",
doi = "10.1007/3-540-61756-6_83",
isbn = "3-540-61756-6",
pages = "152--166",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Controlling Conjunctive Partial Deduction}",
volume = 1140,
year = 1996,
}
Tags: