Non modularity and expressibility for nets of relations (extended abstract) [chapter]

Alexander Rabinovich
Logical Foundations of Computer Science — Tver '92  
doi:10.1007/bfb0023892 dblp:conf/lfcs/Rabinovich92 fatcat:zlqjv7f7pfaapbuxao6uwl2ijm