Lee, JonathanJonathanLeeLai, Lein F.Lein F.LaiJONATHAN LEE2020-05-042020-05-041998https://scholars.lib.ntu.edu.tw/handle/123456789/488797Verifying task-based specifications in conceptual graphs.journal article10.1016/S0950-5849(97)00054-2https://doi.org/10.1016/S0950-5849(97)00054-2