Consistent amalgamation for þ-forking

From MaRDI portal
Publication:386624