%0 Journal Article %1 journals/jair/Wong08 %A Wong, Ka-Shu %D 2008 %J J. Artif. Intell. Res. %K dblp %P 205-216 %T Sound and Complete Inference Rules for SE-Consequence. %U http://dblp.uni-trier.de/db/journals/jair/jair31.html#Wong08 %V 31

@article{journals/jair/Wong08, added-at = {2017-06-21T00:00:00.000+0200}, author = {Wong, Ka-Shu}, biburl = {https://www.bibsonomy.org/bibtex/28248785eb58ac509b0e3359b964012ea/dblp}, ee = {https://doi.org/10.1613/jair.2472}, interhash = {5d037522c7a1ccef960d974f68c13b68}, intrahash = {8248785eb58ac509b0e3359b964012ea}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {205-216}, timestamp = {2017-06-22T11:39:31.000+0200}, title = {Sound and Complete Inference Rules for SE-Consequence.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair31.html#Wong08}, volume = 31, year = 2008 }