%0 Conference Paper %1 conf/jelia/LeachLMR98 %A Leach, Sonia M. %A Lu, James J. %A Murray, Neil V. %A Rosenthal, Erik %B JELIA %D 1998 %E Dix, Jürgen %E del Cerro, Luis Fariñas %E Furbach, Ulrich %I Springer %K dblp %P 154-168 %T Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. %U http://dblp.uni-trier.de/db/conf/jelia/jelia98.html#LeachLMR98 %V 1489 %@ 3-540-65141-1

@inproceedings{conf/jelia/LeachLMR98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Leach, Sonia M. and Lu, James J. and Murray, Neil V. and Rosenthal, Erik}, biburl = {https://www.bibsonomy.org/bibtex/23ec805ac179670e1b930b27e2dbe52a2/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1998}, editor = {Dix, Jürgen and del Cerro, Luis Fariñas and Furbach, Ulrich}, ee = {https://doi.org/10.1007/3-540-49545-2_11}, interhash = {643c16c23f7c19160cd5e29ba1ad9aef}, intrahash = {3ec805ac179670e1b930b27e2dbe52a2}, isbn = {3-540-65141-1}, keywords = {dblp}, pages = {154-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:31:49.000+0200}, title = {Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia98.html#LeachLMR98}, volume = 1489, year = 1998 }