# |  | Year | | Title | Type | |
1 |
![Show details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wagner, Podelski [Podelski, Raskin, Thiagarajan] |
|  |
6 |
|  |
1 |
![Show details for Waldmann [Bonacina, Furbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Waldmann [Bonacina, Furbach] |
|  |
1 |
![Show details for Waldmann [Goré, Leitsch, Nipkow]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Waldmann [Goré, Leitsch, Nipkow] |
|  |
1 |
![Show details for Waldmann [Kirchner, Kirchner]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Waldmann [Kirchner, Kirchner] |
|  |
1 |
![Show details for Waldmann [McAllester, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Waldmann [McAllester, Voronkov] |
|  |
3 |
![Show details for Wang [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wang [-] |
|  |
11 |
|  |
1 |
![Show details for Weidenbach [Bibel, Schmitt]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weidenbach [Bibel, Schmitt] |
|  |
1 |
![Show details for Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk] |
|  |
1 |
![Hide details for Weidenbach [Hermann, Salzer]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=1) | Weidenbach [Hermann, Salzer] |
|  |
 |  | 1996 | | Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Proceedings Article |  |
1 |
![Show details for Weidenbach [McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weidenbach [McRobbie, Slaney] |
|  |
1 |
![Show details for Weidenbach [Robinson, Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weidenbach [Robinson, Voronkov] |
|  |
1 |
![Show details for Weidenbach [Schulz, Kepser]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weidenbach [Schulz, Kepser] |
|  |
1 |
![Show details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-] |
|  |
1 |
![Show details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov] |
|  |
1 |
![Show details for Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney] |
|  |
1 |
![Show details for Weidenbach, Meyer, Cohrs, Engel, Keen [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weidenbach, Meyer, Cohrs, Engel, Keen [-] |
|  |
3 |
![Show details for Werner, Bockmayr, Krischer [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Werner, Bockmayr, Krischer [-] |
|  |
2 |
![Show details for Werner, Bockmayr, Krischer [Werner, Krischer]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Werner, Bockmayr, Krischer [Werner, Krischer] |
|  |
7 |
|  |
1 |
![Show details for Weydert [Besnard, Hanks]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Besnard, Hanks] |
|  |
1 |
![Show details for Weydert [Brewka, Witteveen, Schaub]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weydert [Brewka, Witteveen, Schaub] |
|  |
1 |
![Show details for Weydert [Brewka, Witteveen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Brewka, Witteveen] |
|  |
1 |
![Show details for Weydert [Cohn, Schubert, Shapiro]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weydert [Cohn, Schubert, Shapiro] |
|  |
1 |
![Show details for Weydert [Cunningham, Gabbay]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Cunningham, Gabbay] |
|  |
1 |
![Show details for Weydert [de Leon, Wallin, Hulth]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weydert [de Leon, Wallin, Hulth] |
|  |
1 |
![Show details for Weydert [Delgrande, Truszczynski]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Delgrande, Truszczynski] |
|  |
1 |
![Show details for Weydert [Froideveaux, Kohlas]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weydert [Froideveaux, Kohlas] |
|  |
1 |
![Show details for Weydert [Fuhrmann, Rott]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Fuhrmann, Rott] |
|  |
1 |
|  |
1 |
![Show details for Weydert [Gabbay, Ohlbach]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Gabbay, Ohlbach] |
|  |
1 |
|  |
1 |
![Show details for Weydert [Lopez de Mantaraz, Poole]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Lopez de Mantaraz, Poole] |
|  |
1 |
|  |
1 |
![Show details for Weydert [Rott, Albert, Brewka, Witteveen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert [Rott, Albert, Brewka, Witteveen] |
|  |
1 |
![Show details for Weydert [Wachsmuth, Rollinger, Brauer]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weydert [Wachsmuth, Rollinger, Brauer] |
|  |
1 |
![Show details for Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen] |
|  |
1 |
![Show details for Weydert, van der Torre [Lang]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Weydert, van der Torre [Lang] |
|  |
1 |
![Show details for Weydert, van der Torre [van der Torre]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Weydert, van der Torre [van der Torre] |
|  |
1 |
|  |
1 |
![Show details for Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi] |
|  |
1 |
|  |
1 |
![Show details for Wu, Liu [Liu]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wu, Liu [Liu] |
|  |
1 |
|  |
1 |
![Show details for Wu, Tan, Li [Tan, Li]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wu, Tan, Li [Tan, Li] |
|  |
1 |
|  |
1 |
![Show details for Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh] |
|  |
1 |
![Show details for Yuan, Billington, Freiheit [Yuan, Billington]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0)  | Yuan, Billington, Freiheit [Yuan, Billington] |
|  |
1 |
![Show details for Zeyer [-]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Zeyer [-] |
|  |
782 |
|  |