%0 Journal Article %1 journals/jar/BuningLS90 %A Büning, Hans Kleine %A Löwen, Ulrich %A Schmitgen, Stefan %D 1990 %J J. Autom. Reasoning %K dblp %N 3 %P 319-335 %T Equivalence of Propositional Prolog Programs. %U http://dblp.uni-trier.de/db/journals/jar/jar6.html#BuningLS90 %V 6

@article{journals/jar/BuningLS90, added-at = {2011-05-19T00:00:00.000+0200}, author = {Büning, Hans Kleine and Löwen, Ulrich and Schmitgen, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f37786433b91a97e979e5069fdf2c234/dblp}, ee = {http://dx.doi.org/10.1007/BF00244491}, interhash = {f0b149b070a2d373fe4b8a830dc6d32a}, intrahash = {f37786433b91a97e979e5069fdf2c234}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 3, pages = {319-335}, timestamp = {2016-02-02T09:57:41.000+0100}, title = {Equivalence of Propositional Prolog Programs.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar6.html#BuningLS90}, volume = 6, year = 1990 }