Contains the keyword deductive databases
Visual Graph Transformation in System Verification. In: Gramatova E, Manhaeve H, Pawlak A, editors. DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems. Bratislava, Slovakia; 2000. p. 137-41. Abstract
