%0 Journal Article %1 journals/jancl/KohlhaseS99 %A Kohlhase, Michael %A Scheja, Ortwin %D 1999 %J J. Appl. Non Class. Logics %K %N 4 %P 455-477 %T Higher Order Multi-Valued Resolution. %U http://dblp.uni-trier.de/db/journals/jancl/jancl9.html#KohlhaseS99 %V 9

@article{journals/jancl/KohlhaseS99, added-at = {2023-12-13T04:44:25.000+0100}, author = {Kohlhase, Michael and Scheja, Ortwin}, biburl = {https://www.bibsonomy.org/bibtex/268807b111b2f38d9e137382c5e7c99de/admin}, ee = {https://www.wikidata.org/entity/Q57389431}, interhash = {99b8f5b68ee3eaa6f2f6ef2ba4b46b84}, intrahash = {68807b111b2f38d9e137382c5e7c99de}, journal = {J. Appl. Non Class. Logics}, keywords = {}, number = 4, pages = {455-477}, timestamp = {2023-12-13T04:44:25.000+0100}, title = {Higher Order Multi-Valued Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl9.html#KohlhaseS99}, volume = 9, year = 1999 }