The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. - Ehric Ho; André Trudel (TIME, 1994)