%0 Journal Article %1 journals/ijis/CimattiT96 %A Cimatti, Alessandro %A Traverso, Paolo %D 1996 %J Int. J. Intell. Syst. %K dblp %N 5 %P 279-293 %T Computational reflection via mechanized logical deduction. %U http://dblp.uni-trier.de/db/journals/ijis/ijis11.html#CimattiT96 %V 11

@article{journals/ijis/CimattiT96, added-at = {2014-10-20T00:00:00.000+0200}, author = {Cimatti, Alessandro and Traverso, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/20f904298963a0fdf76d3c480720692c3/dblp}, ee = {http://dx.doi.org/10.1002/(SICI)1098-111X(199605)11:5<279::AID-INT3>3.0.CO;2-L}, interhash = {a266397a202d7f79ac52214015ed5602}, intrahash = {0f904298963a0fdf76d3c480720692c3}, journal = {Int. J. Intell. Syst.}, keywords = {dblp}, number = 5, pages = {279-293}, timestamp = {2015-06-18T07:06:05.000+0200}, title = {Computational reflection via mechanized logical deduction.}, url = {http://dblp.uni-trier.de/db/journals/ijis/ijis11.html#CimattiT96}, volume = 11, year = 1996 }