A Logic-Based Transformation System.

Jeffrey J. P. Tsai Bing Li Thomas J. Weigert A Logic-Based Transformation System. 91-107 1998 10 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde10.html#TsaiLW98 db/journals/tkde/TsaiLW98.html conf/icse/Barstow88 journals/toplas/BossiCD90 journals/jlp/Debray89 journals/jlp/DebrayW88 ... journals/jlp/HermenegildoWD92 conf/slp/MannilaU87 ... conf/slp/Reddy84 ... conf/iclp/TamakiS84 journals/tse/TsaiWJ92 ... ... conf/iclp/Bruynooghe82a conf/slp/BruynoogheJCD87 journals/jlp/Mellish85