Efficient Tabling Mechanisms for Transaction Logic Programs

Open in new window