Efficient Tabling Mechanisms for Transaction Logic Programs

LMTD
Re-assign community