Ribeiro, C. and
Porto, André. 1994.
“Abduction in Temporal Reasoning.” in
Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M.
Gabbay and Hans Jürgen
Ohlbach, pp. 349–364.
Lecture Notes in Computer Science n. 827. Berlin: Springer.