%0 Conference Paper %1 conf/law/PereiraAA92 %A Pereira, Luís Moniz %A Alferes, José Júlio %A Aparício, Joaquim Nunes %B Logic at Work %D 1992 %E Masuch, Michael %E Pólos, László %I Springer %K dblp %P 91-105 %T Contradiction Removal Semantics with Explicit Negation. %U http://dblp.uni-trier.de/db/conf/law/law1992.html#PereiraAA92 %V 808 %@ 3-540-58095-6

@inproceedings{conf/law/PereiraAA92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Pereira, Luís Moniz and Alferes, José Júlio and Aparício, Joaquim Nunes}, biburl = {https://www.bibsonomy.org/bibtex/2093fb11792f3dfba18313d38eb8a2095/dblp}, booktitle = {Logic at Work}, crossref = {conf/law/1992}, editor = {Masuch, Michael and Pólos, László}, ee = {https://doi.org/10.1007/3-540-58095-6_7}, interhash = {f8130f90ba245bb811fe6b3e303aee5c}, intrahash = {093fb11792f3dfba18313d38eb8a2095}, isbn = {3-540-58095-6}, keywords = {dblp}, pages = {91-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:27:45.000+0200}, title = {Contradiction Removal Semantics with Explicit Negation.}, url = {http://dblp.uni-trier.de/db/conf/law/law1992.html#PereiraAA92}, volume = 808, year = 1992 }