Eric Monfroy. A Solver Collaboration in BALI. In Implementation Technology for Programming Languages based on Logic. pages 349-350, 1998.
@inproceedings{Monfroy98:0, title = {A Solver Collaboration in BALI}, author = {Eric Monfroy}, year = {1998}, researchr = {https://researchr.org/publication/Monfroy98%3A0}, cites = {0}, citedby = {0}, pages = {349-350}, booktitle = {Implementation Technology for Programming Languages based on Logic}, }