Ka-shu Wong. Sound and Complete Inference Rules for SE-Consequence. J. Artif. Intell. Res. (JAIR), 31:205-216, 2008. [doi]
@article{Wong08-0, title = {Sound and Complete Inference Rules for SE-Consequence}, author = {Ka-shu Wong}, year = {2008}, url = {http://jair.org/papers/paper2472.html}, tags = {rule-based, completeness, rules}, researchr = {https://researchr.org/publication/Wong08-0}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {31}, pages = {205-216}, }