%0 Conference Paper %1 conf/wflp/PasarelaPO00 %A Pasarella, Edelmira %A Pino, Elvira %A Orejas, Fernando %B WFLP %D 2000 %E Alpuente, María %K dblp %P 195-209 %T Constructive negation without subsidiary trees. %U http://dblp.uni-trier.de/db/conf/wflp/wflp2000.html#PasarelaPO00

@inproceedings{conf/wflp/PasarelaPO00, added-at = {2005-12-16T00:00:00.000+0100}, author = {Pasarella, Edelmira and Pino, Elvira and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/27dac2ee313796d443758719022f75151/dblp}, booktitle = {WFLP}, crossref = {conf/wflp/2000}, date = {2005-12-16}, description = {dblp}, editor = {Alpuente, María}, interhash = {9a2c835d4874ef054f4c6d00e128a787}, intrahash = {7dac2ee313796d443758719022f75151}, keywords = {dblp}, pages = {195-209}, timestamp = {2005-12-16T00:00:00.000+0100}, title = {Constructive negation without subsidiary trees.}, url = {http://dblp.uni-trier.de/db/conf/wflp/wflp2000.html#PasarelaPO00}, year = 2000 }