"Hartm."@cs . "Hartman"@cs .