1: \title{A General Framework for Automatic \\ Termination Analysis

2: of Logic Programs\thanks{This research has

3: been partially supported by  grants from the Israel Science Foundation}}

4: 

5: \author{Nachum Dershowitz\inst{1} 

6: \and Naomi Lindenstrauss\inst{2} 

7: \and Yehoshua Sagiv\inst{2}

8: \and Alexander Serebrenik\inst{3}}

9: \institute{School of Computer Science,

10: Tel-Aviv University, Tel-Aviv 69978, Israel.

11: \email nachum@cs.tau.ac.il 

12: \and Institute for Computer 

13: Science, The Hebrew University, Jerusalem 91904, Israel.

14: \email \{naomil,sagiv\}@cs.huji.ac.il

15: \and

16:  Department of Computer Science, K.U. Leuven,

17:                 Celestijnenlaan 200A, B-3001 Heverlee, Belgium.

18: \email Alexander.Serebrenik@cs.kuleuven.ac.be}

19: 

20: \titlerunning{General Framework for Automatic Termination Analysis}

21: \maketitle