3 International Conferebce on Logio Programming. Proceedings. - SHAPIRO, E. (1986)