Selma Strahringer Rudolf Wille Uta Wille Mathematical Support for Empirical Theory Building. 169-186 2001 conf/iccs/2001 ICCS http://link.springer.de/link/service/series/0558/bibs/2120/21200169.htm db/conf/iccs/iccs2001.html#StrahringerWW01