Automatic problem-solving in archaeology: a computational framework - Barceló, Juan A. (Archeologia e Calcolatori, 4 (1993), 1993)