%0 Conference Paper %1 conf/agp/MartinG96 %A Martín, Pedro J. %A Gavilanes, Antonio %B APPIA-GULP-PRODE %D 1996 %E Lucio, Paqui %E Martelli, Maurizio %E Navarro, Marisa %K dblp %P 139-154 %T Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. %U http://dblp.uni-trier.de/db/conf/agp/agp1996.html#MartinG96

@inproceedings{conf/agp/MartinG96, added-at = {2004-12-14T00:00:00.000+0100}, author = {Martín, Pedro J. and Gavilanes, Antonio}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c68519afd86ee7b2d32af0a87d727ef2/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1996}, editor = {Lucio, Paqui and Martelli, Maurizio and Navarro, Marisa}, interhash = {8966805d377e22081528d277c41e8064}, intrahash = {c68519afd86ee7b2d32af0a87d727ef2}, keywords = {dblp}, pages = {139-154}, timestamp = {2016-02-02T14:12:24.000+0100}, title = {Semantic Tableaux for a Logic with Preorders and Dynamic Sorts.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1996.html#MartinG96}, year = 1996 }