Issues in verification of distributed rule bases
Tepandi, Jaak
ISAT '91
1991
/
p. 164-174