%0 Journal Article %1 DBLP:journals/dam/GanterK05 %A Ganter, Bernhard %A Krauße, Rüdiger %D 2005 %J Discrete Applied Mathematics %K 2005 ganter journal krausse publication %N 1 %P 43-55 %T Pseudo-models and propositional Horn inference %V 147

@article{DBLP:journals/dam/GanterK05, added-at = {2010-09-29T11:15:01.000+0200}, author = {Ganter, Bernhard and Krau{\ss}e, R{\"u}diger}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2d47a18bd341042e4f3c3db18aaa8008a/algebradresden}, ee = {http://dx.doi.org/10.1016/j.dam.2004.06.019}, interhash = {9628230dcd6bb369b0499390d0b16587}, intrahash = {d47a18bd341042e4f3c3db18aaa8008a}, journal = {Discrete Applied Mathematics}, keywords = {2005 ganter journal krausse publication}, number = 1, pages = {43-55}, timestamp = {2010-09-29T11:15:01.000+0200}, title = {Pseudo-models and propositional Horn inference}, volume = 147, year = 2005 }