%0 Journal Article %1 journals/software/Denney91 %A Denney, Richard %D 1991 %J IEEE Software %K dblp %N 2 %P 49-57 %T Test-Case Generation from Prolog-Based Specifications. %U http://dblp.uni-trier.de/db/journals/software/software8.html#Denney91 %V 8

@article{journals/software/Denney91, added-at = {2016-01-12T00:00:00.000+0100}, author = {Denney, Richard}, biburl = {https://www.bibsonomy.org/bibtex/20fe07f8c2796cb33ab8747d58f270086/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/52.73749}, interhash = {1cd986357de24bdfc16fd6eb9745e3c2}, intrahash = {0fe07f8c2796cb33ab8747d58f270086}, journal = {IEEE Software}, keywords = {dblp}, number = 2, pages = {49-57}, timestamp = {2016-01-13T11:43:19.000+0100}, title = {Test-Case Generation from Prolog-Based Specifications.}, url = {http://dblp.uni-trier.de/db/journals/software/software8.html#Denney91}, volume = 8, year = 1991 }