P. Lefèbvre, Eric Villemonte de la Clergerie. How to build quickly an efficient implementation of the domain Prop with DyALog. In LPE. pages 33-38, 1993.
@inproceedings{LefebvreC93, title = {How to build quickly an efficient implementation of the domain Prop with DyALog}, author = {P. Lefèbvre and Eric Villemonte de la Clergerie}, year = {1993}, researchr = {https://researchr.org/publication/LefebvreC93}, cites = {0}, citedby = {0}, pages = {33-38}, booktitle = {LPE}, }