Tomohiro Kudoh, Tetsuro Kimura, Hideharu Amano, Takuya Terasawa. A Parallel Logic Simulation Algorithm Based on Query. In ICPP (1). pages 262-266, 1992.
@inproceedings{KudohKAT92,
title = {A Parallel Logic Simulation Algorithm Based on Query},
author = {Tomohiro Kudoh and Tetsuro Kimura and Hideharu Amano and Takuya Terasawa},
year = {1992},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/KudohKAT92},
cites = {0},
citedby = {0},
pages = {262-266},
booktitle = {ICPP (1)},
}