Detail

Publication date: 01/10/2010

Inspecting Side-Effects of Abduction in Logic Programs