Journal of Automated Reasoning (2006) 36 © Springer 2007 Author Index to Volume 36 Agre, K. M., 241 Jacquemard, F., 85 Armando, A., | Audemard, G., 177 Kremer, S., 39 Kuncak, V., 213 Barnes, J., 379 Basin, D., 1 Lierler, Y., 345 Beeson, M., 311 Lochner, B., 289 Bella, G., 5 Benhamou, B., 177 Maratea, M., 345 Bundy, A., 149 Massacci, F., 5 Chadha, R., 39 Chapman, R. 379 Nguyen, H. H., 213 Cook, A., 379 Paulson, L. C., 5 Cuellar, J., 1 Delaune, S., 85 Rinard, M., 213 Rusinowitch, M., 1 Ellis, B. J., 379 Scedrov, A., 39 Fiala, N. C., 241 Schulz, S., 287 Fischer, B., 287 Simpson, C., 259 Srba, J., 125 Giunchiglia, E., 345 Steel, G., 149 Henocque, L., 177 Sutcliffe, G., 287 Hiittel, H., 125 Ireland, A., 379 Vigano, L., | Journal of Automated Reasoning (2006) 36 © Springer 2007 Subject Index to Volume 36 answer set programming, 345 Knuth—Bendix ordering, 289 automated deduction, 311 automated theorem-proving, 241 localization, 259 Boolean algebra, 213 mathematical induction, 311 multiparty contract signing, 39 calculus of fractions, 259 category, 259 Otter, 311 complexity, 213 computer proof verification, 259 Presburger arithmetic, 213 computer proofs, 311 probabilistic encryption, 85 constraint programming, 177 program proof, 379 counterexamples, 149 program transformation, 289 cryptographic protocols, 85, 125 program verification, 213 cryptographic security protocols, proof assistant, 259 149 proof planning, 379 propositional satisfiability, 345 decision procedure, 213 deductive verification, 5 quantifier elimination, 213 dictionary attacks, 85 recursion, 125 electronic commerce, 5 replication, 125 exponent, 241 second-order, 311 finite models, 177 security protocols, 5 formal methods, 85 single axiom, 241 formal modelling, 125 SPARK, 379 functor, 259 static analysis, 379 superposition, 149 GM protocol, 39 symmetry, 177 group, 241 unification, 311 inductive definitions, 5 Isabelle, 5 verification, 85