%0 Journal Article %1 journals/jsc/FlenerD93 %A Flener, Pierre %A Deville, Yves %D 1993 %J J. Symb. Comput. %K dblp %N 5/6 %P 778-805 %T Logic Program Synthesis from Incomplete Specifications. %U http://dblp.uni-trier.de/db/journals/jsc/jsc15.html#FlenerD93 %V 15

@article{journals/jsc/FlenerD93, added-at = {2022-10-02T00:00:00.000+0200}, author = {Flener, Pierre and Deville, Yves}, biburl = {https://www.bibsonomy.org/bibtex/25ad8bce20e90e139e07a8a245544b73b/dblp}, ee = {https://doi.org/10.1016/S0747-7171(06)80012-X}, interhash = {869fe1bc1f5941b1b1b1df2847b6a5b6}, intrahash = {5ad8bce20e90e139e07a8a245544b73b}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = {5/6}, pages = {778-805}, timestamp = {2024-04-09T05:31:20.000+0200}, title = {Logic Program Synthesis from Incomplete Specifications.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc15.html#FlenerD93}, volume = 15, year = 1993 }