Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism
ICLP, 1987.
@inproceedings{SLP-1987-WestphalRCS87,
author = "Harald Westphal and Philippe Robert and Jacques Chassin de Kergommeaux and Jean-Claude Syre",
booktitle = "{Proceedings of the Fourth Symposium on Logic Programming}",
isbn = "0-8186-0799-8",
pages = "436--448",
publisher = "{IEEE-CS}",
title = "{The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism}",
year = 1987,
}