Complete representation by partial functions for signatures containing antidomain restriction
scientific article; zbMATH DE number 7965262
scientific article