Pedro Meseguer. Verification of Multi-Level Rule-Based Expert Systems. In AAAI. pages 323-328, 1991.
@inproceedings{Meseguer91:0,
title = {Verification of Multi-Level Rule-Based Expert Systems},
author = {Pedro Meseguer},
year = {1991},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/Meseguer91%3A0},
cites = {0},
citedby = {0},
pages = {323-328},
booktitle = {AAAI},
}