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

Hideki Isozaki, Hirofumi Katsuno

Browse the full ICLP paper archive.