@INCOLLECTION{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005,
 AUTHOR        = {Hustadt, Ullrich and Dixon, C. and Schmidt, R. A. and Fisher, M.
 and Meyer, J.-J. C. and van der Hoek, W.},
 TITLE         = {Verification within the {KARO} Agent Theory},
 BOOKTITLE     = {Agent Technology from a Formal Perspective},
 YEAR          = {2001},
 EDITOR        = {Rouff, C. A. and Hinchey, M. G. and 
 Rash, J. L. and Truszkowski, W. and Gordon-Spears, D.},
 PUBLISHER     = {Springer},
 PAGES         = {193-226},
 PYEAR         = {2005},
 SERIES        = {NASA Monographs in Systems and Software Engineering},
 ISBN          = {1-85233-947-0},
 URL           = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005.pdf},
 ABSTRACT      = {This chapter proposes two new methods for realising 
 automated reasoning within agent-based systems. We concentrate on a
 core of the KARO framework, which is a speci cation framework for
 modelling intelligent agent behaviour. We discuss the advantages of
 each approach and suggest ways of extending each variant to cover
 more of the KARO framework.},
}