James Harland Kotagiri Ramamohanarao An Aditi Implementation of a Flights Database. 6-17 1993 Workshop on Programming with Logic Databases (Informal Proceedings), ILPS db/conf/deductive/deductive93.html#HarlandR93a