N. Nedjah and L. de M. Mourelle, “Introduction”, IJCAI, vol. 29, no. 2.