On the Frame Problem in Procedure Specifications (1993)
by
Alex Borgida
,
John Mylopoulos
,
Raymond Reiter
| Citations: | 76 - 2 self |







