Multimodal logic programming using equational and order-sorted logic

From MaRDI portal
Publication:1199813