Tom Bylander: The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. KR 1991: 70-77