SASLOG: Lazy Evaluation Meets Backtracking.

Knut Hinkelmann, Klaus Nkel, Robert Rehbold

Browse the full KI paper archive.