Logic of programs : proceedings - Clarke Edmund; Workshop on Logic Programs( 1983 : Pittsburgh ); Workshop on Logic Programs Pittsburgh, 1983 (Berlin Springer Verlag, 1981)
Keywords: Computer science; Logic programming