Distributed Logics. Allwein, G. & Harrison, W. L. Technical Report NRL/MR/5540-14-9565, US Naval Research Laboratory, 2014.
Distributed Logics [pdf]Paper  bibtex   

Downloads: 0