Formalisation of a production system modelling language: the operational semantics of Chi core. Fundamenta Informaticae (2000)

by V Bos, J J T Kleijn
Venue:Fundamenta Informaticae