%0 Conference Paper %1 conf/agp/PitaM01 %A Pita, Isabel %A Martí-Oliet, Narciso %B APPIA-GULP-PRODE %D 2001 %E Pereira, Luís Moniz %E Quaresma, Paulo %I Departamento de Informática, Universidade de Évora %K dblp %P 277-295 %T Proving modal and temporal properties of rewriting logic programs. %U http://dblp.uni-trier.de/db/conf/agp/agp2001.html#PitaM01

@inproceedings{conf/agp/PitaM01, added-at = {2020-03-12T00:00:00.000+0100}, author = {Pita, Isabel and Martí-Oliet, Narciso}, biburl = {https://www.bibsonomy.org/bibtex/29bc40b8c90cb0328ec980a45dc3aea73/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/2001}, editor = {Pereira, Luís Moniz and Quaresma, Paulo}, ee = {http://www.di.uevora.pt/~pq/agp01/finals/2.pdf}, interhash = {dee743473e486b6e20900ac116aa7ebb}, intrahash = {9bc40b8c90cb0328ec980a45dc3aea73}, keywords = {dblp}, pages = {277-295}, publisher = {Departamento de Informática, Universidade de Évora}, timestamp = {2020-03-13T12:41:20.000+0100}, title = {Proving modal and temporal properties of rewriting logic programs.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp2001.html#PitaM01}, year = 2001 }