Khaled Bsaïes. Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties. In ILPS. pages 633, 1993.
@inproceedings{Bsaies93, title = {Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties}, author = {Khaled Bsaïes}, year = {1993}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Bsaies93}, cites = {0}, citedby = {0}, pages = {633}, booktitle = {ILPS}, }