Bruno G. Bara, Monica Bucciarelli, Vincenzo Lombardo. Model theory of deduction: a unified computational approach. Cognitive Science, 25(6):839-901, 2001. [doi]
@article{BaraBL01, title = {Model theory of deduction: a unified computational approach}, author = {Bruno G. Bara and Monica Bucciarelli and Vincenzo Lombardo}, year = {2001}, doi = {10.1016/S0364-0213(01)00056-8}, url = {http://dx.doi.org/10.1016/S0364-0213(01)00056-8}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/BaraBL01}, cites = {0}, citedby = {0}, journal = {Cognitive Science}, volume = {25}, number = {6}, pages = {839-901}, }