THEORIES AND MODELS OF DISTRIBUTED LOGIC PROGRAMS - RAMANUJAM,R (TIFR BOMBAY, 1987)