%0 Journal Article %1 journals/ndjfl/Pizzi91 %A Pizzi, Claudio %D 1991 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 618-636 %T Decision Procedures for Logics of Consequential Implication. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl32.html#Pizzi91 %V 32

@article{journals/ndjfl/Pizzi91, added-at = {2020-05-21T00:00:00.000+0200}, author = {Pizzi, Claudio}, biburl = {https://www.bibsonomy.org/bibtex/2e3efd6f83ac869a629457de6c5ba0d08/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093635934}, interhash = {8bbb5adca649a19120c54c9efb8dc52a}, intrahash = {e3efd6f83ac869a629457de6c5ba0d08}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {618-636}, timestamp = {2020-05-23T12:17:37.000+0200}, title = {Decision Procedures for Logics of Consequential Implication.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl32.html#Pizzi91}, volume = 32, year = 1991 }