Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths.

Hideki Isozaki Hirofumi Katsuno Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. 822 1995 ICLP db/conf/iclp/iclp95.html#IsozakiK95