Algorithms for Guiding Clausal Temporal Resolution.

M. Carmen Fernndez Gago, Michael Fisher, Clare Dixon

Browse the full KI paper archive.