"Reasoning about Inheritance and Cloning Behaviors of Software Agents."

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics