Hypermanual on Logic and Change (HYMALAC)
Division repres-exemp, main page, 9.8.1995
Representative examples
YSSYale shooting scenario
HTSHiding turkey scenario
SMMStanford muder mystery
FCSFerryboat connection scenario
RTSRussian turkey scenario
TCSTicketed car scenario
FASFurniture assembly scenario