%0 Conference Paper %1 conf/icdt/BidoitL90 %A Bidoit, Nicole %A Legay, P. %B ICDT %D 1990 %E Abiteboul, Serge %E Kanellakis, Paris C. %I Springer %K dblp %P 335-348 %T WELL!: An Evaluation Procedure for All Logic Programs. %U http://dblp.uni-trier.de/db/conf/icdt/icdt90.html#BidoitL90 %V 470 %@ 3-540-53507-1

@inproceedings{conf/icdt/BidoitL90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bidoit, Nicole and Legay, P.}, biburl = {https://www.bibsonomy.org/bibtex/269dfb5d44c6621f67937aefafcf4b556/dblp}, booktitle = {ICDT}, cdrom = {ICDT1990/P335.pdf}, cite = {conf/pods/GelderRS88}, crossref = {conf/icdt/90}, editor = {Abiteboul, Serge and Kanellakis, Paris C.}, ee = {https://doi.org/10.1007/3-540-53507-1_87}, interhash = {0dc4d8dbbf667e82151ecdd0151cfa28}, intrahash = {69dfb5d44c6621f67937aefafcf4b556}, isbn = {3-540-53507-1}, keywords = {dblp}, pages = {335-348}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:37.000+0200}, title = {WELL!: An Evaluation Procedure for All Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/icdt/icdt90.html#BidoitL90}, volume = 470, year = 1990 }