Journal of Automated Reasoning 12 (1994) Author Index to Volume 12 Aitken, J. S., 103 Nipkow, T., 389 Bailin, S. C., 411 Overbeek, R. A., 139 Barker-Plummer, D., 411 Benhamou, B., 89 Parsons, S., 131 Bonacina, M. P., 225 Burke, E. K., 209 Qian, Z., 389 Butler, R. M., 139 Raschid, L., 305 Carra’ Ferro, G., 351 Reichgelt, H., 103 Chou, T. S.-C., 157 Sais, L., 89 Digricoli, V. J., 241 Shadbolt, N., 103 Strother Moore, J, 33 Hsiang, J., 225 Tammet, T., 273 Lee, S.-J., 359 Lobo, J., 305 Winslett, M., 157 Lozinskii, E. L., 1 Wos, L., 133, 265, 407 Wu, C.-H., 359 Mellouli, T., 47 Journal of Automated Reasoning 12 (1994) Subject Index to Volume 12 algorithms, 157 model elimination, 47 automated theorem proving, 225, 273 model logic, 103 belief revision, 157 nonconclusion set, 351 nondeterministic production rule systems, 305 classical and many-valued logics, 47 non-Horn reasoning with case analysis, 47 clause network, 359 normalized IF expressions, 33 conclusion-nonconclusion set, 351 nuclei, 407 conclusion set, 351 contraction, 225 ordered binary decision diagrams, 33 declarative semantics, 305 paramodulation, 133 deduction system, 139 partially commutative semigroups, 209 differential dimension, 351 propositional calculus, 89 polynomial, 351 propositional equivalence, 33 disjunctive logic programs, 305 distributed deduction, 225 reasoning by evidence, | reduction, 389 equality, 241 reified logic, 103 equation solving, 209 resolution by unification and equality, 241 resolution method, 273 first-order logic, 359 resolution paramodulation systems, 139 fixpoint semantics, 305 formula database, 139 semantic information, | simply typed A-calculi, 389 higher-order unification, 389 strategy, 133 hyperlinks, 359 subsumption, 225 hyperparamodulation, 265, 407 subtypes, 389 hyperresolution, 133, 407 symmetries, 89 hypothesis set, 351 tableau, 47 inconsistent systems, | theorem proving, 47, 89, 103, 241, 359 inference rule, 265 unification, 209, 359 linear logic, 273 unsolved research problem, 133, 265, 407 logic programming, 47 update, 157