Enrico Motta Arthur Stutt Zdenek Zdráhal Kieron O'Hara Nigel Shadbolt Solving VT in VITAL: a study in model construction and knowledge reuse. 333-371 1996 44 Int. J. Hum.-Comput. Stud. 3-4 http://dx.doi.org/10.1006/ijhc.1996.0018 db/journals/ijmms/ijmms44.html#MottaSZS96