A Deductive Database System with Applications to Route Planning.

Malcolm C. Taylor, Bogdan D. Czejdo

Browse the full DEXA paper archive.