%0 Journal Article %1 journals/sttt/CodishDS98 %A Codish, Michael %A Demoen, Bart %A Sagonas, Konstantinos %D 1998 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 1 %P 29-45 %T Semantics-Based Program Analysis for Logic-Based Languages Using XSB. %U http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#CodishDS98 %V 2

@article{journals/sttt/CodishDS98, added-at = {2020-04-02T00:00:00.000+0200}, author = {Codish, Michael and Demoen, Bart and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/2085639a07215b8d2e553d932d0740b00/dblp}, ee = {https://www.wikidata.org/entity/Q58968602}, interhash = {4ebd527ccd272e203c0fcd0f1b06ea70}, intrahash = {085639a07215b8d2e553d932d0740b00}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 1, pages = {29-45}, timestamp = {2020-04-03T11:54:22.000+0200}, title = {Semantics-Based Program Analysis for Logic-Based Languages Using XSB.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#CodishDS98}, volume = 2, year = 1998 }