Automated deduction techniques for the management of personalized documents
scientific article; zbMATH DE number 1924980