The ATMS* an assumption based problem solving architecture utilizing specialization relations - Haag, Albert (1995)
Kaiserslautern, Univ., Diss., 1995