David Cerna: Unital Anti-unification: Type and Algorithms (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

Authors: David Cerna and Temur Kutsia

Aired: 2020-02-02 15:30:00 CEST (UTC+2)