Weidong Chen. A Theory of Modules Based on Second-Order Logic. In SLP. pages 24-33, 1987.
@inproceedings{Chen87:5, title = {A Theory of Modules Based on Second-Order Logic}, author = {Weidong Chen}, year = {1987}, tags = {rule-based, logic}, researchr = {https://researchr.org/publication/Chen87%3A5}, cites = {0}, citedby = {0}, pages = {24-33}, booktitle = {SLP}, }