Reasoning about discrete processes in a logic programming framework. - L. Chitaro; Angelo Montanari (GULP, 1993)