Pascal Van Hentenryck, Mehmet Dincbas. Forward Checking in Logic Programming. In ICLP. pages 229-256, 1987.
@inproceedings{HentenryckD87, title = {Forward Checking in Logic Programming}, author = {Pascal Van Hentenryck and Mehmet Dincbas}, year = {1987}, tags = {logic programming, programming, logic, Pascal}, researchr = {https://researchr.org/publication/HentenryckD87}, cites = {0}, citedby = {0}, pages = {229-256}, booktitle = {ICLP}, }