Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto. Experiences in Prolog-Based DFT Rule Checking. In Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA. pages 909-914, IEEE Computer Society, 1986.
@inproceedings{CabodiCP86,
title = {Experiences in Prolog-Based DFT Rule Checking},
author = {Gianpiero Cabodi and Paolo Camurati and Paolo Prinetto},
year = {1986},
tags = {Prolog, rule-based, rules},
researchr = {https://researchr.org/publication/CabodiCP86},
cites = {0},
citedby = {0},
pages = {909-914},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-0743-2},
}