School of Informatics AUTh
I. Vlahavas, P. Kefalas, I. Sakellariou, C. Halatsis, “The Basic OASys Model: Preliminary Results”, Proc. 6th Hellenic Conference on Informatics, pp. 723-731, 1997.
I. Vlahavas, C. Halatsis, “A New Abstract Prolog Instruction Set”, Proc. Avignon 87, Expert systems and their applications, 1987.
I. Vlahavas, C. Halatsis, “A RISC Prolog Machine Architecture”, Proc. Microprocessing and Microprogramming (Euromicro '87), North-Holland, No. 21, pp. 259-266, 1987.
I. Vlahavas, P. Kefalas, C. Halatsis, “OASys: An AND/OR Parallel Logic Programming System”, Parallel Computing, Elsevier, Vol. 25, pp. 321-336, 1999.
I. Vlahavas, C. Halatsis, “L-Machine: A Low Cost Personal Sequential Inference Machine”, The Journal of Systems and Software, Elsevier, Vol. 9, pp. 209-223, 1989.