, Dept. of Computer Engineering, DongA University, Busan 604-714, Korea, Korea, Republic of

• Information Technology and Control Vol. 41 No. 4 (2012) - Articles
  Forward Reasoning via Sequential Queries in Logic Programming
  Abstract  PDF